a (analysis|of a Borel set) Whose measure is equal to the supremum of the measures of all compact sets which are contained by it.